Cheaper Matrix Clocks
نویسنده
چکیده
abstract : Matrix clocks have nice properties that can be used in the context of distributed database protocols and fault tolerant protocols. Unfortunately, they are costly to implement, requiring storage and communication overhead of size O(n 2) for a system of n sites. They are often considered a non feasible approach when the number of sites is large. In this paper, we rstly describe an eecient incremental algorithm to compute the matrix clock, which achieves storage and communication overhead of size O(n) when the sites of the computation are \well syn-chronized". Secondly, we introduce the k-matrix clock: an approximation to the genuine matrix clock that can be computed with a storage and communication overhead of size O(kn). k-matrix clocks can be useful to implement fault-tolerant protocols for systems with crash failure semantics such that the maximum number of simultaneous faults is bounded by k ? 1. Abstract Matrix clocks have nice properties that can be used in the context of distributed database protocols and fault tolerant protocols. Unfortunately, they are costly to implement, requiring storage and communication overhead of size O(n 2) for a system of n sites. They are often considered a non feasible approach when the number of sites is large. In this paper, we rstly describe an eecient incremental algorithm to compute the matrix clock, which achieves storage and communication overhead of size O(n) when the sites of the computation are \well synchronized". Secondly, we introduce the k-matrix clock: an approximation to the genuine matrix clock that can be computed with a storage and communication overhead of size O(kn). k-matrix clocks can be useful to implement fault-tolerant protocols for systems with crash failure semantics such that the maximum number of simultaneous faults is bounded by k ? 1.
منابع مشابه
On reducing the complexity of matrix clocks
Matrix clocks are a generalization of the notion of vector clocks that allows the local representation of causal precedence to reach into an asynchronous distributed computation’s past with depth x, where x ≥ 1 is an integer. Maintaining matrix clocks correctly in a system of n nodes requires that every message be accompanied by O(n) numbers, which reflects an exponential dependency of the comp...
متن کاملCellular mechano-environment regulates the mammary circadian clock
Circadian clocks drive ∼24 h rhythms in tissue physiology. They rely on transcriptional/translational feedback loops driven by interacting networks of clock complexes. However, little is known about how cell-intrinsic circadian clocks sense and respond to their microenvironment. Here, we reveal that the breast epithelial clock is regulated by the mechano-chemical stiffness of the cellular micro...
متن کاملA precise clock synchronization protocol
A distributed clock synchronization protocol is presented which achieves a very high precision without the need for very frequent resynchronizations. The protocol tolerates failures of the clocks: clocks may be too slow or too fast, exhibit omission failures and report inconsistent values. Synchronization takes place in synchronization rounds as in many other synchronization protocols. At the e...
متن کاملPreserving Causality in a Scalable
We present a solution to guarantee scalable causal ordering through matrix clocks in Message Oriented Middleware (MOM). This solution is based on a decomposition of the MOM in domains of causality, i.e. small groups of servers interconnected by router servers. The causal order is locally maintained into groups, this allows the cost of matrix clocks maintenance to be kept linear, instead of quad...
متن کاملOkapi: Causally Consistent Geo-Replication Made Faster, Cheaper and More Available
Okapi is a new causally consistent geo-replicated keyvalue store. Okapi leverages two key design choices to achieve high performance. First, it relies on hybrid logical/physical clocks to achieve low latency even in the presence of clock skew. Second, Okapi achieves higher resource efficiency and better availability, at the expense of a slight increase in update visibility latency. To this end,...
متن کامل